$\forall$$L$:MsgA List. $\oplus$($L$) $\in$ MsgAForm